0

My Bag

0.00

₹

Download App

Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set) (Vol 1) [Larry Wos] 14.0%OFF

Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set) (Vol 1) [Larry Wos]

  • ISBN

    :  

    9789810240011

  • Publisher

    :  

    World Scientific Pub Co Inc

  • Subject

    :  

    Mathematics, Computer Science

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    1680

  • Year

    :  

    2001

₹

36253.0

14.0% OFF

₹

31177.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 20-23 Business Days

View Details

Share it on

  • Description

    Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification and circuit design. This two-volume work includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides information for students, teachers, researchers and even historians of computer science about this field. The book presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic. It provides a history of the field - from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning. It illustrates some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification and circuit design. The accompanying CD-ROM, with a searchable index of all the papers, should enable readers to peruse the papers for ideas.

Related Items

-

of

  • OFFER

    The Book of Numbers

    Devi Shakuntala

    Starts At

    135.0

    165.0

    18% OFF

  • OFFER

    Maths: Bk. 5

    Shirley Dyall

    Starts At

    55.0

    56.0

    1% OFF

  • OFFER

    Making Decisions

    D. V. Lindley

    Starts At

    6849.0

    9383.0

    27% OFF

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    8252.0

    9596.0

    14% OFF

  • Man Who Knew Infinity

    Robert Kanigel

    Starts At

    599.0

  • OFFER

    An Introduction to Distributed Algorithms

    Valmir C. Barbosa

    Starts At

    521.0

    695.0

    25% OFF

  • OFFER

    Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)

    Carl A. Gunter

    Starts At

    12973.0

    15085.0

    14% OFF

  • OFFER

    The Power of Vedic Maths

    Atul Gupte

    Starts At

    159.0

    199.0

    20% OFF

  • Vedic Mathematics Made Easy

    Dhaval Bathia

    Starts At

    250.0

  • God Created the Integers: The Mathematical Breakthroughs That Changed History

    Stephen W. Hawking

    Starts At

    1299.0

  • Are Universes Thicker Than Blackberries?: Discourses on Godel, Magic Hexagrams, Little Red Riding Hood, and Other Mathematical and Pseudoscientific Topics

    Martin Gardner

    Starts At

    1304.0

  • OFFER

    Certain Number-Theoretic Episodes in Algebra

    R. Sivaramakrishnan

    Starts At

    6213.0

    8511.0

    27% OFF

  • OFFER

    Complex Analysis and Applications

    Alan Jeffrey

    Starts At

    3261.0

    4468.0

    27% OFF

  • OFFER

    Computational Methods for Electric Power Systems

    Mariesa Crow

    Starts At

    3494.0

    4787.0

    27% OFF

  • OFFER

    Handbook of Finite Translation Planes

    Norman L. Johnson

    Starts At

    4426.0

    6064.0

    27% OFF

  • OFFER

    Handbook of Linear Algebra

    Leslie Hogben

    Starts At

    3435.0

    3995.0

    14% OFF

  • OFFER

    An Introduction to Quasigroups and Their Representations

    Jonathan D. H. Smith

    Starts At

    4426.0

    6064.0

    27% OFF

  • OFFER

    Matrix Theory:: From Generalized Inverses to Jordan Form

    Robert Piziak

    Starts At

    3882.0

    5319.0

    27% OFF

  • OFFER

    Operational Calculus and Related Topics

    Hans-jurgen Glaeske

    Starts At

    3882.0

    5319.0

    27% OFF

  • Representation Theory and Higher Algebraic K-Theory

    Aderemi Kuku

    Starts At

    4995.0

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- 1 Item

null

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : 0.0 Total Savings        : Grand Total :

Order Summary